Maybe aとNonEmpty aの違い